Monoid group definition